Publications of Djemai KEBBAL
An automatic parametric approach for WCET analysis of C programs (regular paper)
In : European Conference on Embedded Real Time Software and Systems (ERTS 2010), Toulouse, 19/05/10-21/05/10, SIA/3AF/SEE, (electronic medium), May 2010.
URL : http://www.irit.fr/publis/TRACES/11375_ERTS2010_0079_final.pdf
BibTeXUne approche pour l’analyse du pire cas du temps d’exécution des programmes temps-réels
In : Colloque National de la Recherche Universitaire dans les IUT (CNR-IUT 2006), Brest, 01/06/06-02/06/06, IUT de Brest, (on line), June 2006.
Abstract URL : http://www.irit.fr/publis/TRACES/EB1_01_KebbalDjemaioral.pdf
BibTeXCombining Symbolic Execution and Path Enumeration in Worst-Case Execution Time Analysis
In : International Workshop on Worst-Case Execution Time Analysis (WCET 2006), Dresden, 04/07/06, Dagstuhl Research Online Publication Server, (on line), July 2006.
Abstract URL : http://drops.dagstuhl.de/opus/volltexte/2006/675/pdf/WCET_Kebbal.675.pdf
BibTeXAutomatic flow analysis using symbolic execution and path enumeration
In : International Workshop on Embedded Computing (IWEC 2006), Columbus, Ohio, USA, 14/08/06, IEEE : Institute of Electrical and Electronics Engineers, pp. 397-404, August 2006.
Djemai Kebbal, El-Ghazali Talbi, Jean-Marc Geib
Multi-application Scheduling in Networks of Workstations and Clusters of Processors
In : NATO Advanced Research Workshop, IWCC, Mangalia, Romania, 01/09/02-06/09/02, Springer-Verlag, pp. 145-155, September 2002.
Abstract URL : http://www.springerlink.com/(x5snfd3tszdktj45xkansdrh)/app/home/contribution.asp?referrer=parent&backto=issue – 14 – 32;journal – 1354 – 2236;linkingpublicationresults
BibTeX